Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
221	Stochastic Process Algebras and Ordinary Differential Equations Jane Hillston Laboratory for Foundations of Computer Science and Centre for Systems Biology at Edinburgh University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-15 09:47:16 Theoretical computer science Statistics Markov models Mathematics Graph theory Markov chain Stochastic process Stochastic Process calculus Semantics Algebra over a field PEPA
222	Multivalued Elementary Functions in Computer-Algebra Systems David J. Jeﬀrey Department of Applied Mathematics University of Western Ontario Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2015-11-17 11:53:57 Mathematical analysis Special functions Mathematics Analytic functions Dimensionless numbers Ratios Trigonometry Functions and mappings Inverse trigonometric functions Lambert W function Inverse hyperbolic function Principal value
223	Data sheet HP StreamSmartport data streamer The HP StreamSmart 410 helps math and science students Add to Reading List Source URL: www.hpprime.de Language: English - Date: 2016-04-29 10:01:12 Graphing calculators Programmable calculators Computer hardware Computer algebra systems Computing Calculator Electronics HP Prime USB Oxygen sensor Casio BASIC HP calculators
224	Computing Homology of Groups with Kenzo and GAP Interoperating between Computer Algebra Systems: Computing Homology of Groups with Kenzo and GAP Ana Romero, Graham Ellis, and Julio Rubio Universidad de La Rioja, Spain - Add to Reading List Source URL: issac2009.kias.re.kr Language: English - Date: 2009-07-30 00:25:57 Homology theory Abstract algebra Algebra Mathematics Homology Topology Floer homology Singular homology
225	Jyrki Nummenmaa, Erkki Mäkinen and Isto Aho (eds.) IOI’01 Competition Second Edition Add to Reading List Source URL: olympiads.win.tue.nl Language: English - Date: 2001-11-13 08:39:42 Computer programming International Olympiad in Informatics International Science Olympiad Software engineering Mathematics Matrix Competitive programming BurrowsWheeler transform Algorithm Linear algebra Search algorithms
226	Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania First Announcement Add to Reading List Source URL: cadgme.ms.sapientia.ro Language: English - Date: 2016-01-20 04:15:46 Baranya Counties of Hungary Geography of Romania Hungarian minority in Romania Miercurea Ciuc Sapientia University Trgu Mure Pcs Petru Maior Cas Counties of Romania
227	Data sheet HP StreamSmartport data streamer The HP StreamSmart 410 helps math and science students Add to Reading List Source URL: www.hpprime.de Language: English - Date: 2015-02-17 10:47:51 Graphing calculators Programmable calculators Computer hardware Computing Computer algebra systems Technology Calculator HP Prime USB Hewlett-Packard HP 39/40 series HP calculators
228	HP Prime AP Calculus Summer Institute Materials by Mark Howell Version 1.1, Revised Add to Reading List Source URL: www.hpprime.de Language: English - Date: 2015-08-27 03:58:21 Mathematics Functions and mappings Programmable calculators Mathematical analysis Graphing calculators Computer algebra systems Asymptote Function key HP calculators Limit of a function Calculus EVE
229	Least-Squares Rigid Motion Using SVD Olga Sorkine-Hornung and Michael Rabinovich Department of Computer Science, ETH Zurich June 30, 2016 Abstract Add to Reading List Source URL: www.igl.ethz.ch Language: English - Date: 2016-06-30 15:22:37 Algebra Linear algebra Mathematics Matrix theory Matrices Numerical linear algebra Square matrix Matrix Rotation matrix Trace Orthogonal matrix Singular value decomposition
230	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution

UPDATE